Open and closed scopes for constrained genericity

Genericity through Constrained Types

Modern object-oriented languages such as X10 require a rich framework for types capable of expressing valuedependency, type-dependency and supporting pluggable, application-specific extensions. In earlier work, we presented the framework of constrained types for concurrent, object-oriented languages, parametrized by an underlying constraint system C . Constraint systems are a very expressive fr...

Algorithm specialization and concept-constrained genericity

Creation of Closed or Open Universe from Constrained Instanton

In the no-boundary universe the universe is created from an instanton. However, there does not exist any instanton for the “realistic” FRW universe with a scalar field. The “instanton” leading to its quantum creation may be modified and reinterpreted as a constrained gravitational instanton. PACS number(s): 98.80.Hw, 98.80.Bp, 04.60.Kz, 04.70.Dy

Anesthesia in Cardiac Surgery (Open-Closed Heart)

In this paper the duties of an anesthesiologist and his right of i=;electing patient is discussed. La,ter, we di:=:cuss the <::mergencies cf heart surgery, pre up visit and alsc few dcails of pre up medication cf thei,e pati<mts. We also touch on the stages of anesthPsia and point to our preference for the use cf artery and vein for arterial and venous cannulation. In this paper we discuss in b...

Open. Closed. Open

As a window into the subject, we recount some of the history (and geography) of two mature, challenging, partially open, partially closed problems in the theory of rewriting (numbers 13 and 21 from the original RTA List of Open Problems). One problem deals with (criteria for left-linear) confluence and the other with termination (of one linear or string rule), the two paradigmatic properties of...